#ifndef PLAT_H
#define PLAT_H

#define PLAT_MEM_BASE 0x90000000
#define PLAT_MEM_SIZE 0x8000000

#define PLAT_GICD_BASE_ADDR (0x2F000000)
#define PLAT_GICR_BASE_ADDR (0x2F100000)

#define PLAT_UART_ADDR 0x1c090000
#define UART_IRQ_ID 37

#endif
